what is an integral